Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
291	VSNUlogoPMS-Z (geschikt voor drukwerk) Add to Reading List Source URL: www.euraxess.nl Language: English - Date: 2011-04-18 08:12:06 Institute for Logic Language and Computation Leiden University Radboud University Nijmegen University of Amsterdam Nijmegen Higher education Henkjan Honing Provinces of the Netherlands Coimbra Group Academia
292	Probabilistic Reasoning for Plan Robustness ∗ Steve R. Schaffer, Bradley J. Clement, Steve A. Chien Jet Propulsion Laboratory California Institute of Technology 4800 Oak Grove Drive, M/S[removed], Pasadena, CA 91109 {fi Add to Reading List Source URL: ai.jpl.nasa.gov Language: English - Date: 2007-06-28 00:31:20 Normal distribution Uncertainty Probabilistic logic Risk Statistical hypothesis testing Estimation theory Statistics Probability and statistics Statistical inference
293	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:59 Type theory Reasoning Proof theory Deduction Natural deduction Logical framework Resolution First-order logic Type system Logic Mathematical logic Automated theorem proving
294	Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2005-12-01 07:11:01 Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic
295	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-12-13 13:15:40 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science
296	Quantiers in TIME and SPACE Computational Complexity of Generalized Quantiers in Natural Language Jakub Szymanik Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-03-21 08:58:36 Science Mathematical logic Institute for Logic Language and Computation Computational complexity theory Complexity Algorithm Descriptive complexity theory EXPTIME P Applied mathematics Complexity classes Mathematics
297	Using intrinsic complexity of turn-taking games to predict participants’ reaction times Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Ben Meijering (b Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-19 07:51:46 Mathematics Backward induction Solution concept Reason Extensive-form game Minimax Inductive reasoning Marble Cognitive science Game theory Science Knowledge
298	International Institute of Information Technology, Pune[removed]Academic Calendar for Second Year Engineering Semester - I (AY[removed]Date of Commencement of Teaching June 23, 2014 Date Add to Reading List Source URL: www.isquareit.edu.in Language: English - Date: 2014-06-23 06:52:34 Electronics Integrated circuit design Logic synthesis Discrete mathematics Design and Technology Electronic engineering Electronic design Design
299	Automata and Complexity in Multiple-Quantifier Sentence Verification Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Shane Steinert-Threlkeld (Shanest@stanford. Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-05-20 06:27:06 Science Automata theory Quantification Models of computation Formal languages Generalized quantifier Pushdown automaton Cognitive science Finite-state machine Logic Mathematical logic Semantics
300	Selected for a Viewpoint in Physics PHYSICAL REVIEW A 84, [removed]Informational derivation of quantum theory Giulio Chiribella∗ Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Ontario, Cana Add to Reading List Source URL: www.qubit.it Language: English - Date: 2011-07-12 06:26:16 Quantum information science Quantum information theory Quantum measurement Quantum state Quantum logic Density matrix Quantum operation POVM Quantum entanglement Physics Quantum mechanics Theoretical computer science

UPDATE